package procilege.impl.eval;

import procilege.compute.ExprEvaluationTraveller;
import procilege.compute.PlaceTypeMetadata;
import procilege.compute.PlaceType;
import procilege.lang.PredicateValue;

@PlaceTypeMetadata(type = PredicateValue.class)
public class PredicateValueEvalPlace implements PlaceType<ExprEvaluationTraveller> {

	public void visit(ExprEvaluationTraveller tr, Object place) {

		PredicateValue expr = (PredicateValue) place;

		tr.result(expr.getValue());
	}
}
